First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
961	Preferential Logics: the Predicate Calculus case (extended abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Predicate logic Logic programming Default logic First-order logic Function Entailment Propositional formula Logic Mathematical logic Propositional calculus
962	BILATTICES AND MODAL OPERATORS Matthew L. Ginsberg Computer Science Department Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Epistemic modal logic Accessibility relation Entailment Interpretation Logical connective Modal operator First-order logic Negation Μ operator Logic Mathematical logic Modal logic
963	INTENTIONAL PARADOXES THEORY Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Predicate logic Philosophical logic Semantics Interpretation First-order logic Type theory Quantification Well-formed formula Proposition Logic Mathematical logic Model theory
964	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:58:59 Philosophical logic Metalogic Formal languages Bisimulation Interpretation Modal logic First-order logic Entailment Kripke semantics Logic Mathematical logic Model theory
965	pdf version of the entry Dynamic Semantics http://plato.stanford.edu/archives/fall2010/entries/dynamic-semantics/ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:14:07 Formal languages Model theory Logical syntax Philosophy of language Interpretation First-order logic Proposition Function Semantics Logic Mathematics Mathematical logic
966	Branden Fitelson & Edward N. Zalta Steps Toward a Computational Metaphysics∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2007-08-22 20:20:00 Automated theorem proving Model theory Prover9 First-order logic Function Unification Functor Resolution Modal logic Logic Mathematics Mathematical logic
967	Edward N. Zalta The Modal Object Calculus and its Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2012-02-25 17:14:48 Propositional calculus Predicate logic Model theory Philosophical logic Modal logic Interpretation First-order logic Entailment Function Logic Mathematical logic Mathematics
968	David J. Anderson and Edward N. Zalta Frege, Boolos, and Logical Objects∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:52:19 Analytic philosophers Set theory Computability theory Formal methods Models of computation Gottlob Frege Lambda calculus S First-order logic Mathematical logic Logic Mathematics
969	Edward N. Zalta A Classically-Based Theory of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-04-17 23:10:46 Possibility Modal logic Model theory Non-classical logic First-order logic Entailment Possible world Function Impossible world Logic Mathematical logic Philosophical logic
970	Edward N. Zalta Logical and Analytic Truths That Are Not Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:19:57 Entailment Modal logic Analytic–synthetic distinction Logical truth Interpretation First-order logic A priori and a posteriori Saul Kripke Propositional calculus Logic Philosophy Philosophical logic

UPDATE